Rely-Guarantee References for Refinement Types Over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,mernst,djg}@cs.washington.edu

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Denotational semantics
• Logic in computer science
• Predicate
• Heap
• Linguistics

Quantification in Child Language Jeffrey Lidz University of Maryland "Who did you pass on the road?" the King went on, holding out his hand to the Messenger for some more hay. "Nobody" said the Messenger.

Source URL: ling.umd.edu

• Logic
• Quantification
• Semantics
• Mathematics
• Abstraction
• Quantifier
• Generalized quantifier
• Approximate number system
• Proposition
• Mathematical logic
• Cardinality
• Cardinal number

RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky

Source URL: hott-uf.gforge.inria.fr

• Mathematics
• Academia
• Mathematical logic
• Type theory
• Abstract algebra
• Logic in computer science
• Mathematical structures
• Formal methods
• Intuitionistic type theory
• Expression
• Lambda calculus
• Universal algebra

Nat Lang Semantics DOIs11050Interface transparency and the psychosemantics of most Jeffrey Lidz Æ Paul Pietroski Æ Justin Halberda Æ Tim Hunter

Source URL: ling.umd.edu

• Philosophy
• Logic
• Abstraction
• Semantics
• Philosophical logic
• Theories of truth
• Meaning
• Metalogic
• Model theory
• First-order logic
• Truth condition
• IP

Self-Programming: Operationalizing Autonomy Eric Nivel & Kristinn R. Thórisson Center for Analysis and Design of Intelligent Agents / School of Computer Science, Reykjavik University Kringlunni 1, 103 Reykjavik, Iceland

Source URL: xenia.media.mit.edu

• Computing
• Logic in computer science
• Theoretical computer science
• Programming paradigms
• Software engineering
• Formal methods
• Semantics
• Abstraction
• Entry point
• Actor model
• Computer programming
• Computer-aided design

PRIOR ON THE SEMANTICS OF MODAL AND TENSE LOGIC M.J. Cresswell In celebrating Arthur Prior we celebrate what he gave to the world. Much of this is measured by what others have made of his ideas after his death, and it is

Source URL: conference.prior.aau.dk

Noninterference for Free ⇤ William J. Bowman Amal Ahmed Northeastern University, USA

Source URL: www.ccs.neu.edu

• Models of computation
• Type theory
• Formal methods
• Theory of computation
• Equivalence relation
• Monad
• Denotational semantics
• Parametricity
• Simply typed lambda calculus
• Modal logic
• Lambda calculus

Dear Author/Editor, Here are the proofs of your chapter as well as the metadata sheets. Metadata • Please carefully proof read the metadata, above all the names and address. • In case there were no abstracts for this

Source URL: software.rc.fas.harvard.edu

• Linguistics
• Pragmatics
• Philosophy of language
• Logic
• Semantics
• Presupposition
• Psycholinguistics
• Inference
• Entailment
• Sentence processing
• Sentence
• Implicature

Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey, University of Sussex Input document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Li`ege meeting, December 19

Source URL: ect.bell-labs.com

• Logic in computer science
• Programming language semantics
• Type theory
• Logic programming
• Automated theorem proving
• Operational semantics
• Substitution
• Syntax
• Type system
• Semantics
• C++ classes
• Monad

Outline Rewriting Logic Semantics and KOOL Analysis in KOOL with Rewriting Logic Conclusion KOOL: An Application of Rewriting Logic to

Source URL: www.cs.ecu.edu